Primary extension

In field theory, a branch of algebra, primary extension L of K is a field extension such that the algebraic closure K in L is purely inseparable over K.

A subextension of a primary extension is primary. A primary extension of a primary extension is primary (transitivity). A primary extension of a perfect field is regular.